Static Analysis of Industrial Controller Code using Arcade.PLC
نویسندگان
چکیده
In this paper, we present the static analysis capabilities of Arcade.PLC: A tool to check software for Programmable Logic Controllers, which are frequently used in industry to control or monitor technical processes. These devices are usually programmed using domain specific programming languages and unorthodox programming practices such as a huge number of variables and large function size. This imposes a challenge to standard static analysis techniques.
منابع مشابه
H&infin Controller Design for Static VAR Compensators in Industrial Networks
This paper deals with the design and evaluation of a robust controller for static VAR compensator (SVC) in remote industrial power systems to enhance the voltage profile for three-phase single cage induction motor (SCIM) loads. The controller design is based on H∞ theory to deal with uncertainties arising in industrial network modelling. 
The performance of the H∞ controller has been evaluat...
متن کاملH&infin Controller Design for Static VAR Compensators in Industrial Networks
This paper deals with the design and evaluation of a robust controller for static VAR compensator (SVC) in remote industrial power systems to enhance the voltage profile for three-phase single cage induction motor (SCIM) loads. The controller design is based on H∞ theory to deal with uncertainties arising in industrial network modelling. The performance of the H∞ controller has been evaluated...
متن کاملApplication of an Additive Self-tuning Controller for Static Synchronous Series Compensator for Damping of Sub-synchronous Resonance Oscillations
In this paper, an additive self-tuning (ST) control scheme is presented for a static synchronous series compensator (SSSC) to improve performance of conventional PI control system for damping sub-synchronous resonance (SSR) oscillations. The active and reactve series compensation are provided by a three-level 24-pulse SSSC and fixed capacitor. The proposed ST controller consists of a pole shift...
متن کاملVerification of Programmable Logic Controller Code using Model Checking and Static Analysis
Programmable Logic Controllers (PLCs, ger. Speicherprogrammierbare Steuerungen) are control devices used in industry to control, operate and monitor plants, machines and robots. PLCs comprise input connectors, typically connected to sensors, output connectors, typically connected to actuators, and a program, which controls the behavior, computing new output values based on the input values and ...
متن کاملImproving the stability of the power system based on static synchronous series compensation equipped with robust model predictive control
Low-frequency oscillations (LFO) imperil the stability of the power system and reduce the Capacity of transmission lines. In the power systems, FACTS devices and Power System stabilizers are used to improve the stability. Static synchronous series compensators is one of the most important FACTS devices. This paper investigates the damping of LFO with static synchronous series compensator (SSSC)...
متن کامل